#include <gicv3.h>
#include <mmio.h>

uint32_t gicv3_dist_type(void)
{
    uint32_t gic_idr;

    gic_idr = __raw_readl(GICV3_DIST_BASE_ADDR + GICD_IIDR);

    return gic_idr;
}